$\forall$${\it es}$:ES\{i\}, $e$, ${\it e'}$:E, $x$:Id. $e$ leaks $x$ to ${\it e'}$ $\in$ Prop$_{\mbox{\scriptsize i'}}$